Three ways formally verified code can go wrong in practice
buttondown.comยท4h
๐Ÿ“œProof Carrying Code
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.orgยท3hยท
Discuss: Hacker News
๐Ÿ›ก๏ธRISC-V Security
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท11h
๐Ÿ’ŽInformation Crystallography
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.toยท18hยท
Discuss: DEV
๐ŸงฉRISC-V
Experimenting with ACL2 and Claude Code
mikedodds.orgยท9hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.comยท3hยท
๐Ÿ› ๏ธGreaseweazle
The Chip That Spoke Lisp
jxself.orgยท3d
๐Ÿค–Lisp Machines
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.comยท1hยท
๐Ÿ–ฅ๏ธTerminal Renaissance
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท21hยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
MIE: New memory protection only in iPhone 17 & Co.
heise.deยท1d
๐Ÿท๏ธMemory Tagging
Implicit `operator bool` participates in comparison
quuxplusone.github.ioยท21h
๐Ÿฆ€Rust Verification
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท6h
๐Ÿ”ขDenotational Semantics
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท8hยท
Discuss: Hacker News
๐Ÿ”—Lisp
[Help] ProArt X670E-Creator - IOMMU groups for dual passthrough? (pre-purchase)
reddit.comยท9hยท
Discuss: r/homelab
๐Ÿ–ฅHome Lab Setup
The Bit Shift Paradox: How "Optimizing" Can Make Code 6ร— Slower
hackernoon.comยท2d
๐ŸงฎCompute Optimization
Interviewing Intel's Chief Architect of x86 Cores
chipsandcheese.comยท1dยท
๐ŸงฒRISC-V Archaeology
BYOVD to the next level (part 2) โ€” rootkit like it's 2025
blog.quarkslab.comยท1d
๐Ÿ”eBPF
Hardware Vulnerability Allows Attackers to Hack AI Training Data โ€“ NC State News
news.ncsu.eduยท1hยท
Discuss: Hacker News
๐Ÿ”RISC-V Cryptography
Avalue EPC-ASL Intel N97 fanless industrial mini PC is designed for 24/7 operation
cnx-software.comยท21h
๐Ÿ”ŒSingle Board PC